#include "stdio.h"
#include "stdlib.h"
extern const char _binary_rec_txt_start[], _binary_rec_txt_end[];
extern const char _binary_rec_2_txt_start[], _binary_rec_2_txt_end[];
int main(void){
    int i =0;
    printf("_binary_rec_txt_start:");
    for(i = 0;i<_binary_rec_txt_end - _binary_rec_txt_start;)printf("%c",_binary_rec_txt_start[i++]);
    printf(" %d \n",_binary_rec_txt_end - _binary_rec_txt_start);

    printf("_binary_rec_2_txt_start:");
    for(i = 0;i<_binary_rec_2_txt_end - _binary_rec_2_txt_start;)printf("%c",_binary_rec_2_txt_start[i++]);
    printf(" %d \n",_binary_rec_2_txt_end - _binary_rec_2_txt_start);
    printf("hello world\n");
    return 0;
}